Bounded Limit Recursiveness

نویسنده

  • Stephen G. Simpson
چکیده

Let X be a Turing oracle. A function f(n) is said to be boundedly limit recursive in X if it is the limit of an X-recursive sequence of X-recursive functions f̃(n, s) such that the number of times f̃(n, s) changes is bounded by a recursive function of n. Let us say that X is BLR-low if every function which is boundedly limit recursive in X is boundedly limit recursive in 0. This is a lowness property in the sense of Nies. These notions were introduced by Joshua A. Cole and the speaker in a recently submitted paper on mass problems and hyperarithmeticity. The purpose of this talk is to compare BLR-lowness to similar properties which have been considered in the recursion-theoretic literature. Among the properties discussed are: K-triviality, superlowness, jump-traceability, weak jump-traceability, total ω-recursive enumerability, array recursiveness, array jump-recursiveness, and strong jump-traceability.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inductive inference of approximations for recursive concepts

This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios where the learner is successful if its final hypothesis describes a finite variant of the target concept, i.e., learning with anomalies. Learning from positive data only and from both positive and negative data is distinguished. The following learning models are studied: learning in ...

متن کامل

Learning Approximations of Recursive Concepts Learning Approximations of Recursive Concepts

This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios where the learner is successful if its nal hypothesis describes a nite variant of the target concept, i.e., learning with anomalies. Learning from positive data only and from both positive and negative data is distinguished. The following learning models are studied: learning in the ...

متن کامل

Towards a Theory of Abstract Data Types: A Discussion on Problems and Tools

This paper aims to show that, in order to capture a quite relevant feature such as the recursiveness of abstract data types, Model Theory works better than Category Theory. First, various eategorial notions such as "initiality", "finality", "monoinitiality", "epifinality", "weak monoinitiality" and "weak epifinality' are analyzed, from a model theoretic point of view, as regards the "abstractne...

متن کامل

A New Approach for Stress State - Dependent Flow Localization Failure Bounded Through Ductile Damage in Dynamically Loaded Sheets

In this paper, a new approach is proposed for stress state - dependent flow localization in bifurcation failure model bounded through ductile damage in dynamically loaded sheets. Onset of localized necking is considered in phenomenological way for different strain rates to draw the forming limit diagram (FLD). Using a strain metal hardening exponent in the Vertex theory related to the strain ra...

متن کامل

Bifurcation of limit cycles from a quadratic reversible center with the unbounded elliptic separatrix

The paper is concerned with the bifurcation of limit cycles in general quadratic perturbations of a quadratic reversible and non-Hamiltonian system, whose period annulus is bounded by an elliptic separatrix related to a singularity at infinity in the poincar'{e} disk. Attention goes to the number of limit cycles produced by the period annulus under perturbations. By using the appropriate Picard...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007